python double precision